Verplex Formal Verification Solution Added To ASIC Design Flow, Significantly Reducing Verification Time
Four Libraries Qualified for Conformal LEC
MILPITAS, Calif.--(BUSINESS WIRE)--May 8, 2002--Verplex(TM)
Systems, Inc., the electronic design automation (EDA) company known
for its formal verification software, today announced Texas
Instruments Incorporated (TI) now supports Conformal(TM) Logic
Equivalence Checker (LEC) for formal verification in its ASIC flow.
Four libraries have been qualified for usage with LEC in the TI ASIC
flow.
"Several of our customers specifically asked us to add Verplex
Conformal LEC into our ASIC design flows," says Francis Larochelle,
ASIC CAD manager at Texas Instruments. "Our design teams have
significantly reduced verification time using Conformal LEC on large,
complex designs."
Conformal LEC combines speed, performance, capacity and ease of
use for the rapid and reliable formal verification of block or
full-chip designs. It compares register transfer level (RTL) code to
flattened or hierarchical netlists for multi-million gate designs in
minutes or hours, instead of days or weeks required by comparable
tools.
"Our close working relationship with Texas Instruments is of
primary importance to us," remarks Dino Caporossi, Verplex vice
president of marketing. "TI"s ASIC customers are among the most
sophisticated electronics designers today and are constantly pushing
the technology envelope. It is gratifying to see that our LEC tool is
able to effectively meet their challenging needs."
For more information on Conformal LEC, contact Bassilios Petrakis,
Verplex technical business manager, at (408) 586-0362 or via email at
petrak@verplex.com. More details about Verplex can be found at its Web
Site: http://www.verplex.com.
About Verplex
Verplex Systems Inc. is an electronic design automation (EDA)
company focused on delivering the highest speed, highest capacity and
easiest to use formal verification products for complex system-on-chip
(SOC) design. Founded in 1997, it is privately held and funded by
leading venture capital firms. Corporate headquarters is located at
300 Montague Expressway, Suite 100, Milpitas, Calif. 95035. Telephone:
(408) 586-0300. Facsimile: (408) 586-0230. Email: info@verplex.com.
Online information is found at its web site: http://www.verplex.com.
Verplex, Conformal and BlackTie are trademarks of Verplex Systems
Inc. All other companies and products referenced herein are trademarks
or registered trademarks of their respective holders.
Contact:
Public Relations for Verplex Systems
Nanette Collins, (617) 437-1822
nanette@nvc.com
